logic program example for consecutivity testing in lists

Программирование: пример логической программы для нахождения следующего элемента в списке (см. Introduction to logic programming by Ghristopher John Hogger)